1 2 - PDFSEARCH.IO - Document Search Engine

1 2
Results: 258872

#	Item
171	Universally Composable Direct Anonymous Attestation? Jan Camenisch1 , Manu Drijvers1,2 , and Anja Lehmann1 1 2 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2016-06-10 07:58:18 Cryptography Computer security Direct Anonymous Attestation Trusted Computing Trusted Platform Module Digital signature Universal composability Public-key cryptography SUF
172	C2E2: A Verification Tool For Stateflow Models Parasara Sridhar Duggirala1 , Sayan Mitra2 , Mahesh Viswanathan1 , and Matthew Potok2 1 2 Add to Reading List Source URL: publish.illinois.edu Language: English - Date: 2015-02-09 14:29:37 Systems theory Differential equations Metaphysics Control theory Hybrid system Mathematical analysis Dynamical system Mathematics Symbol Hybrid automaton
173	One TPM to Bind Them All: Fixing TPM 2.0 for Provably Secure Anonymous Attestation Jan Camenisch1 , Liqun Chen2 , Manu Drijvers1,3 , Anja Lehmann1 , David Novick4 , and Rainer Urian5 1 IBM Research – Zurich Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2017-06-28 09:41:56 Cryptography Computer security Direct Anonymous Attestation Trusted Platform Module Trusted Computing Group Trusted Computing Proof of knowledge FiatShamir heuristic Non-interactive zero-knowledge proof Zero-knowledge proof
174	Supplementary Material: The Emergence of Organizing Structure in Conceptual Representation Brenden M. Lake,1,2 Neil D. Lawrence,3 Joshua B. Tenenbaum,4, Add to Reading List Source URL: cims.nyu.edu Language: English - Date: 2018-01-09 09:21:30 K-means clustering Cluster analysis Belief propagation
175	Fast Exhaustive Search for Polynomial Systems in F2 Charles Bouillaguet1, Hsieh-Chung Chen2 , Chen-Mou Cheng3 , Tung Chou3 , Ruben Niederhagen3,4, Adi Shamir1,5, and Bo-Yin Yang2 1 2 Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-03-20 04:03:41 Mathematics Algebra Abstract algebra Computer algebra Algebraic geometry Polynomials Equations Grbner basis Equation solving System of polynomial equations Factorization Resultant
176	Exploiting sparsity in difference-bound matrices Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Mathematics Abstract algebra Mathematical analysis Graph Graph theory Partial derivative Valuation Representation Voltage graph operator
177	Lipschitz Robustness of Timed I/O Systems? Thomas A. Henzinger1 , Jan Otop1,2 and Roopsha Samanta1 1 2 Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Finite automata Finite-state transducer Timed automaton Finite-state machine Control theory XC Applied mathematics Mathematics Systems science Tree transducer
178	Breaking Symmetric Cryptosystems using Quantum Period Finding Marc Kaplan1,2 , Ga¨etan Leurent3 Anthony Leverrier3 , and Mar´ıa Naya-Plasencia3 1 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2018-06-14 07:12:40 Cryptography Quantum information science Emerging technologies Quantum computing Quantum cryptography Quantum algorithm Block cipher Quantum mechanics Post-quantum cryptography Quantum key distribution Feistel cipher Data Encryption Standard
179	Static Detection of Loop-Invariant Data Structures Guoqing Xu1 , Dacong Yan2 , and Atanas Rountev2 1 2 University of California, Irvine, CA, USA Add to Reading List Source URL: dacongy.github.io Language: English - Date: 2017-06-27 01:04:15 Software engineering Computer programming Programming language theory Compiler optimizations Control flow Loop optimization Heap Optimizing compiler Foreach loop
180	Pattern Matches in HOL: A New Representation and Improved Code Generation Thomas Tuerk1 , Magnus O. Myreen2,3 , and Ramana Kumar3 2 1 Add to Reading List Source URL: cakeml.org Language: English - Date: 2016-04-20 00:13:43 Computer programming Declarative programming Software engineering Functional programming Type theory Predicate logic Monad Algebraic data type Conditional Expression Quantifier Standard ML

UPDATE